Everything about Formal Calculation totally explained
In
mathematical logic, a
formal calculation is sometimes defined as a calculation which is
systematic, but without a rigorous justification. This means that we're manipulating the symbols in an expression using a generic substitution, without proving that the necessary conditions hold. Essentially, we're interested in the
form of an expression, and not necessarily its underlying meaning. This reasoning can either serve as positive evidence that some statement is true, when it's difficult or unnecessary to provide a proof, or as an inspiration for the creation of new (completely rigorous) definitions.
However, this interpretation of the term
formal isn't universally accepted, and some consider it to mean quite the opposite: A completely rigorous argument, as in
formal mathematical logic.
Examples
A simple example
A somewhat exaggerated example would be to use the equation
»
If we've any doubts about our argument, we can always check the final solutions to confirm that they solve the equation.
Further Information
Get more info on 'Formal Calculation'.
|
External Link Exchanges
Do you know how hard it is to get a link from a large encyclopaedia? Well we're different and will prove it. To get a link from us just add the following HTML to your site on a relevant page:
<a href="http://formal_calculation.totallyexplained.com">Formal calculation Totally Explained</a>
Then simply click through this link from your web page. Our crawlers will verify your link, extract the title of your web page and instantly add a link back to it. If you like you can remove the words Totally Explained and embed the link in article text.
As long as your link remains in place, we'll keep our link to you right here. Please play fair - our crawlers are watching. Your site must be closely related to this one's topic. Any kind of spamming, dubious practises or removing the link will result in your link from us being dropped and, potentially, your whole site being banned. |
